State Space Visualization
نویسندگان
چکیده
Insight in the global structure of a state space is of great help in the analysis of the underlying process. We advocate the use of visualization for this purpose and present a new method to visualize the structure of very large state spaces. The method uses a clustering method to obtain a simplified representation, which is used as a backbone for the display of the entire state space. With this visualization we are able to answer questions about the global structure of a state space that cannot easily be answered by conventional methods. We show this by presenting a number of visualizations of real-world protocols.
منابع مشابه
On Petri-net synthesis and attribute-based visualization
State space visualization is important for a good understanding of the system’s behavior. Unfortunately, today’s visualization tools typically ignore the fact that states might have attributes. Based on these attributes, some states can be considered equivalent after abstraction, and can thus be clustered, which simplifies the state space. Attributebased visualization tools are the exception to...
متن کاملAssessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization
Abstract. State spaces are commonly used representations of system behavior. A state space may be derived from a model of system behavior but can also be obtained through process mining. For a good understanding of the system’s behavior, an analyst may need to assess the state space. Unfortunately, state spaces of realistic applications tend to be very large. This makes this assessment hard. In...
متن کاملMacro and micro view on steady states in state space
This paper describes visualization of chaotic attractor and elements of the singularities in 3D space. 3D view of these effects enables to create a demonstrative projection about relations of chaos generated by physical circuit, the Chua’s circuit. Via macro views on chaotic attractor is obtained not only visual space illustration of representative point motion in state space, but also its rela...
متن کاملInteractive Visualization of Non-deterministic Discrete Processes
We describe a method to use non-deterministic state transition graphs as tools for exploration of complex processes. For any interesting process, the full state space will probably be large enough that it cannot be displayed nor explored in its entirety. Therefore we suggest that the visualization process only generate as much of the space as is necessary for the continued exploration. We have ...
متن کامل